D. Gabbay; "Craig’s interpolation theorem for modal logics"